New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[CN-Exec] Add `convert_from_cn_map` #581

Open

ZippeyKeys12 wants to merge 1 commit into rems-project:master from ZippeyKeys12:cn-exec-convert-from-cn-map

Collaborator

ZippeyKeys12 commented Sep 18, 2024

You can't assign directly to an array, so it has to be a statement.
This means there's special-casing in cn_internal_to_ail.ml


          [CN-Exec] Add convert_from_cn_map

95ee9bb

And special logic in `cn_internal_to_ail.ml`

ZippeyKeys12 added the cn label

ZippeyKeys12 requested a review from rbanerjee20

September 18, 2024 18:00

ZippeyKeys12 self-assigned this

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

cn